1
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

سال:
1989
زبان:
english
فائل:
PDF, 19.28 MB
0 / 0
english, 1989
2
The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi

سال:
1990
زبان:
english
فائل:
PDF, 28.25 MB
0 / 0
english, 1990
3
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

سال:
1992
زبان:
german
فائل:
PDF, 7.50 MB
0 / 0
german, 1992
6
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

سال:
1992
زبان:
german
فائل:
PDF, 7.58 MB
0 / 0
german, 1992
8
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

سال:
1990
زبان:
german
فائل:
PDF, 37.19 MB
0 / 0
german, 1990
9
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

سال:
1970
زبان:
german
فائل:
PDF, 12.36 MB
0 / 0
german, 1970
10
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

سال:
1975
زبان:
german
فائل:
PDF, 20.41 MB
0 / 0
german, 1975